regular expressions in theory of automata